基于对运算加密的认识

1. 双线性群

    令G为一个素数阶p的群。在G中定义离散对数问题如下：

输入: g,h属于G，

输出：x， 使得h=gx.

我们说G上的离散对数问题是困难的，如果没有有效的算法可以以不可忽略的概率解决G上的离散对数。其中g选自G，x选自Zp。

如下两个群上存在困难的离散对数问题：

（1），Zq*， 其中q为素数；

（2），定义在素数有限域Fq上的确定椭圆曲线上的点群E（Fq）。

其中（2）中的群E（Fq）有加法结构，Zq*不具备加法结构。

特别的，在群E（Fq）上，存在